2 :
    r where e
        implements
        P
u